Revision: tla-tools--devo--0--patch-74
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Mon Sep 13 18:21:17 JST 2004
Standard-date: 2004-09-13 09:21:17 GMT
Modified-files: ChangeLog tla-tools-funs.awk
    tla-update-ids.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-74
Summary: tla-update-ids: Add --id-hint-tree option

The --id-hint-tree=TREE_ROOT option allows one or more arch project
trees to be specified, which will be used as possible sources of id-tags
for new files.

When tla-update-ids detects a new file which should have an explicit id
or tagline added, it will search all project trees specified with
--id-hint-tree for a similarly named file, and if found, use its id-tag.

If the new file is in the root of the project tree, it is only searched
for in the root of the hint-trees; if it is in a subdirectory, it is
searched for in the corresponding subdirectory of the hint trees.
Subdirectories are matched by id-tag, not name, so this should still
work even if a subdirectory has a different name in a hint-tree.

Hint trees are useful if you have several branches of the same source
tree, and want to apply external patches to one branch which may have
previously been applied to another branch.  Using --id-hint-tree allows
the id-tags to be kept in sync even if the external patch contains no
taglines (or explicit tag info), which is important to keep inter-branch
merging simple.
